1. Clausal form logic : an introduction to the logic of computer reasoning
پدیدآورنده : Richards, Tom.
کتابخانه: Library of Niroo Research Institue (Tehran)
موضوع : ، Expert systems )Computer science(,، Artificial intelligence,، Logic, Symbolic and mathematical,، Reasoning
2. Coditional inference and logic for interlligent systems: a theory of measure-free conditioning
پدیدآورنده : I.R. Goodman, H.T. Nguyen and E.A. Walker
کتابخانه: Library of the Faculty of Economics University of Tehran (Tehran)
موضوع : Expert systems (Computer science),Artificial intelligence,Probabilities,Logic, Symbolic and mathematical
رده :
QA
76
.
76
.
E95G67
1991
3. Conditional logic in expert systems
پدیدآورنده : edited by I.R. Goodman ... ]et al.[
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Expert systems )Computer science(,، Logic, Symbolic and mathematical
رده :
QA
76
.
76
.
E95
C66
1991
4. Current trends on knowledge-based systems
پدیدآورنده :
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Artificial intelligence,Expert systems (Computer science),Logic, Symbolic and mathematical
رده :
006
.
3
C976
2017
21
5. Knowledge in action
پدیدآورنده : / Raymond Reiter
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Knowledge representation (Information theory),Expert systems (Computer science),Logic, Symbolic and mathematical
رده :
Q387
.
R48
2001
6. Knowledge in action
پدیدآورنده : / Raymond Reiter
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Knowledge representation (Information theory),Expert systems (Computer science),Logic, Symbolic and mathematical
رده :
Q387
.
R48
2001
7. Knowledge in action
پدیدآورنده : / Raymond Reiter
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Knowledge representation (Information theory),Expert systems (Computer science),Logic, Symbolic and mathematical
رده :
Q387
.
R48
2001
8. Vivid logic :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Expert systems (Computer science) ; Logic, Symbolic and mathematical. ;
9. Vivid logic : knowledge-based reasoning with two kinds of negation
پدیدآورنده : Wagner, Gerd, 7591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Expert systems )Computer science(,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
764
